type t1 = #foo  | #bar  | #baz

type t2 =
  #foo
  | #bar
  | #baz
